Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
401	Flexible Execution of Partial Order Plans With Temporal Constraints Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2013-11-29 11:25:30 Planning Domain Definition Language Runtime verification Coordination Linear temporal logic Modal logic Temporal logic Logic Philosophical logic Automated planning and scheduling
402	‘Knowledge and Objective Chance’1 John Hawthorne & Maria Lasonen-Aarnio For Williamson on Knowledge 1. We think we have lots of substantial knowledge about the future. But contemporary Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-02-04 11:49:34 Philosophical logic Modal logic Possibility Justification Dichotomies Epistemology Deductive closure Logical possibility A priori and a posteriori Logic Mathematical logic Analytic philosophy
403	Tabling for Transaction Logic ∗ Paul Fodor Michael Kifer State University of New York at Stony Brook,Stony Brook, NY 11794, USA Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2010-05-12 21:44:02 Model theory Transaction logic B-Prolog Prolog First-order logic Datalog Interpretation Function Modal logic Logic Mathematical logic Mathematics
404	Jointly Combining Implicit Constraints Improves Temporal Ordering Nathanael Chambers and Dan Jurafsky Department of Computer Science Stanford University Stanford, CA 94305 {natec,jurafsky}@stanford.edu Add to Reading List Source URL: cs.stanford.edu Language: English - Date: 2008-09-30 12:05:11 Technical communication TimeML Transitive closure Equivalence relation Transitivity Binary relation Transitive set Modal logic Computing Logic Mathematical logic
405	BIBLIOGRAPHIE GÉNÉRALE ABELSON H., SUSSMAN G. J., SUSSMAN J., 1985, Structure and Interpretation of Computer Programs, The MIT Press, Cambridge/McGraw-Hill Book Company, New York. A B R A M S K I S., 1987, Domain Theo Add to Reading List Source URL: iridia.ulb.ac.be Language: English - Date: 2007-06-27 08:53:11 Provability logic Logic Philosophy Laurent Thévenot Charles W. Morris bibliography Year of birth missing Modal logic Proof theory
406	Microsoft Word - dissertation_07112011_final_manuscript.doc Add to Reading List Source URL: user.xmission.com Language: English - Date: 2011-07-18 13:15:38 Education in the United States Applied linguistics Orthography Writing systems Reading comprehension Question Modal logic Type theory Linguistics Logic Reading
407	The Ackermann Award 2007 M. Grohe, M. Hyland, J.A. Makowsky, and D. Niwinski Members of EACSL Jury for the Ackermann Award? The third Ackermann Award is presented at this CSL’07. This is the first year in which the EAC Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-08 17:58:05 Mathematics Decidability Presburger arithmetic Automated theorem proving Natural deduction Wilhelm Ackermann Quantifier elimination Modal logic Deep inference Proof theory Logic Mathematical logic
408	Symposium Reports AAAI 1992 Fall Symposium Series Reports ■ The American Association for Artificial Add to Reading List Source URL: www.norvig.com Language: English - Date: 2006-05-09 20:14:10 Knowledge Programming paradigms Non-classical logic Reasoning Logic programming Robot Applications of artificial intelligence Modal logic Cyc Artificial intelligence Science Logic
409	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) PSpace Tableau Algorithms for Acyclic Modalized ALC Jia Tao · Giora Slutzki · Vasant Honavar Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2011-06-14 00:05:06 Model theory Philosophical logic Automated theorem proving Method of analytic tableaux Abox Structure Boolean satisfiability problem PSPACE-complete Modal logic Theoretical computer science Mathematical logic Mathematics
410	Modal Proofs as Distributed Programs? (Extended Abstract) Limin Jia and David Walker Princeton University 35 Olden St., Princeton, NJ 08544, USA {ljia,dpw}@cs.princeton.edu Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Proof theory Non-classical logic Logic in computer science Semantics Deduction Natural deduction Modal logic Negation Sequent calculus Logic Mathematical logic Mathematics

UPDATE